﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;
using Microsoft.Pex.Framework.Factories;
using System.Collections;

namespace MSCorLibEval.Factories
{
    [PexFactoryClass]
    public partial class ArrayListFactory
    {
        //[PexFactoryMethod(typeof(ArrayList))]
        public static ArrayList Create([PexAssumeUnderTest]String str)
        {
            ArrayList arrObj = new ArrayList();            
            if(!arrObj.Contains(str))
                   arrObj.Add(str); 
            return arrObj;
        }
    }
}
